Effective metastability of Halpern iterates in CAT(0) spaces
نویسندگان
چکیده
منابع مشابه
Effective metastability of Halpern iterates in CAT(0) spaces
This paper provides an effective uniform rate of metastability (in the sense of Tao) on the strong convergence of Halpern iterations of nonexpansive mappings in CAT(0) spaces. The extraction of this rate from an ineffective proof due to Saejung is an instance of the general proof mining program which uses tools from mathematical logic to uncover hidden computational content from proofs. This me...
متن کاملEffective metastability for modified Halpern iterations in CAT(0) spaces
*Correspondence: kohlenbach@mathematik. tu-darmstadt.de Department of Mathematics, Technische Universität Darmstadt, Schlossgartenstrasse 7, Darmstadt, 64289, Germany Abstract We examine convergence results for modified Halpern iterations due to Cuntavepanit and Panyanak (Fixed Point Theory Appl. 2011:869458, 2011). Following Kohlenbach and Leuştean (Adv. Math. 231:2525-2556, 2012), we extract ...
متن کاملConvergence of Iterates of Typical Nonexpansive Mappings in Banach Spaces
Let K be a bounded, closed and convex subset of a Banach space X. We show that the iterates of a typical element (in the sense of Baire category) of a class of nonexpansive mappings which take K to X converge uniformly on K to the unique fixed point of this typical element.
متن کاملMann iterates of directionally nonexpansive mappings in hyperbolic spaces
In a previous paper, the first author derived an explicit quantitative version of a theorem due to Borwein, Reich and Shafrir on the asymptotic behaviour of Mann iterations of nonexpansive mappings of convex sets C in normed linear spaces. This quantitative version, which was obtained by a logical analysis of the ineffective proof given by Borwein, Reich and Shafrir, could be used to obtain str...
متن کاملFluctuations, effective learnability and metastability in analysis
This paper discusses what kind of quantitative information one can extract under which circumstances from proofs of convergence statements in analysis. We show that from proofs using only a limited amount of the law-of-excluded-middle, one can extract functionals (B,L), where L is a learning procedure for a rate of convergence which succeeds after at most B(a)-many mind changes. This (B,L)-lear...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Advances in Mathematics
سال: 2012
ISSN: 0001-8708
DOI: 10.1016/j.aim.2012.06.028